تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۳۱ ثانیه یافت شد.

1. Verification of systems and circuits using LOTOS, Petri Nets, and CCS

پدیدآورنده : / by Michael Yoeli and Rakefet Kol

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets

رده :

TK7874

.

58

.

Y64

2008

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها